80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

萤火一号火星探测器电源分系统技术

对萤火一号(YH-1)火星探测器的电源分系统技术进行了研究.给出了分系统的功能、组成和工作原理.与其他传统电源技术不同,YH-1火星探测器电源分系统针对与俄罗斯福布斯(FGSC)火星探测器间的供电接口进行了适应性设计,并根据火星轨道环境特点,设计了适应长火影恶劣工作环境的自主休眠和自主唤醒等创新技术.地面试验验证了分系统适应性设计的可行性和可靠性,表明设计满足火星探测的任务要求.     

基于对偶四元数的航天器交会对接位姿双目视觉测量算法

针对航天器交会对接中位姿参数的测量问题,突破传统的位姿计算态分而治之的模式,采用双目视觉技术和对偶四元数这一数学工具,建立了追踪航天器与目标航天器间相对位姿参数的统一描述模型.该模型与传统的欧拉角和四元数的描述方法完全不同,具有非常简洁统一的形式.同时,针对该对偶四元数模型,给出其两步解析算法,解算出两航天器间的相对位置和姿态参数.仿真结果表明该算法能够满足航天器位姿参数的测量要求,并且具有较强的稳定性,对航天器的在轨实时应用具有重要参考价值.     

应用三维粒子动态分析仪测量三分支联接流场

应用三维粒子动态分析仪 (3D PDA)测得了矩形截面三分支联接的三维速度分布。在测量中 ,经过理论分析与对比试验 ,选择了蚊香烟雾作为散射粒子。实验结果表明 ,在只有支管进气的情况下 ,在总管的封闭端和支管下游总管壁面处产生了回流 ;以及气流从支管进入总管后由于截面扩张在总管横截面上所诱发的二次流 ,并且二次流现象只发生在支管下游附近的总管横截面上。     

边条机翼布局战斗机稳定性改进研究

对边条机翼布局战斗机的纵，横向稳定性改进措施进行了研究，结合具体战斗机布局，给出了边条机翼布局战斗机纵，横向稳定性的一般特征，对前缘襟翼下偏，翼刀，平尾下反和机身截面修形等几种气动布局改进措施的风洞试验结果进行了简要讨论，结果表明，所研究的气动布局改进措施都能有效提高边条机翼布局战斗机的稳定性，其中，前缘襟翼下偏既能完全克服俯仰力矩曲线非线性上翘问题，又能较好地解决横侧向稳定性丧失问题。     

基于云贝叶斯网络的运输飞机超轮速风险评估

起飞超轮速严重威胁飞行安全,为了有效评估运输飞机起飞时在不确定性因素影响下的超轮速风险水平,提出一种基于云模型和贝叶斯网络的评估模型。选取抬轮速度、总重、低压转子转速、抬轮率、抬轮时机、升降舵控制量、风的分量、总温8个指标,建立超轮速风险指标体系;运用基于启发式高斯云变换算法和正向高斯云算法的云模型,实现超轮速风险等级...     

RTS-20A便携式低温恒温槽

介绍了一种便携式低温恒温槽的工作原理及组成结构，并给出了试验数据。     

论信息产业就业总量的核算方法

21世纪是知识经济的时代，知识经济最活跃的生产部门是那些广泛应用高新技术的新兴产业，信息产业是首当其冲的一个。信息产业的竞争追本溯源是知识与技术的竞争，也就是人才的竞争。因而人力资本核算在信息产业核算研究中有着重要的理论和现实意义，本文在说明有关统计指标的基础上，就信息产业的就业总量中纯信息部门就业总量核算、混合信息部门就业总量核算以及整个信息部门就业核算这几个方面进行了核算方法的研究。     

马克思论国际价值--《资本论》思想研究之四

马克思在《资本论》中提出了国际价值概念，这具有重要的学术研究意义。国际价值在马克思的阐述中是与国民劳动的强度和生产率相连的，是建立在劳动价值论基础上的。世界劳动表现的国际价值，更明确地揭示表面上有区别的各个国家的劳动的内在的统一性。国际价值的存在并不改变价值规律适用范围的普遍性。     

材料特性对热障涂层合理压入深度的影响

基于有限元计算方法和量纲分析原理提出了热障涂层合理压入深度的确定方法,并研究了涂层及基体材料特性对合理压入深度的影响.首先,根据量纲分析原理提出了合理压入深度的无量纲表达式;其次基于锥形压头识别理想弹塑性材料的材料特性的方法,提出合理压入深度的确定方法;最后研究了各无量纲因素对合理压入深度的影响.研究发现基体的弹性模量对合理压入深度的影响最大,粘结层材料特性的影响较大,热氧化生成层的材料特性及基体的屈服极限对合理压入深度的影响不大.